package org.sg20.utils;

@Deprecated
public class PrDot extends Dot<Double> {
    public PrDot(String name, Double val) {
        super(name, val);
    }

    public void addPr(double pr) {
        this.val += pr;
    }
}
